[Sökformulär] [Info om databasen] [Söktips]

Biblio: söktermen institution=('Institutionen för informationsbehandling') gav 264 träffar


1. Aspnäs, Mats / Institutionen för informationsbehandling
  Efficient implementation of multi-process handshaking on broadcasting networks / M. Aspnäs, R. J. R. Back, R. Kurki-Suonio. - Åbo : Åbo Akademi, 1989. - 20 blad : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 75).
ISBN 951-649-572-9
UDK 681.3
2. Aspnäs, Mats / Institutionen för informationsbehandling
  Hathi-2 : users guide, version 1.0 / M. Aspnäs, T.-E. Malen. - Åbo : Åbo Akademi, 1989. - 18, 10 blad : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. B, ISSN 0358-3392 ; no 6).
ISBN 951-649-569-9
UDK 681.3
3. Aspnäs, Mats / Institutionen för informationsbehandling
  The Hathi-2 multiprocessor systems / M. Aspnäs, R. J. R. Back, T.-E. Malen. - Åbo : Åbo Akademi, 1989. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A ; 80 ).
ISBN 951-649-604-0
4. Aspnäs, Mats / Institutionen för informationsbehandling
  The Hathi project : a research project on parallel programming technology 1986-1988 (final report) / M. Aspnäs, R. J. R. Back, K. Sere. - Åbo : Åbo Akademi, 1989. - 55 blad : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 95).
ISBN 951-649-654-7
UDK 681.3
5. Aspnäs, Mats / Institutionen för informationsbehandling
  Multiprocessor applications in the Hathi project / M. Aspnäs, R. J. R. Back. - Åbo : Åbo Akademi, 1989. - 17 blad : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 96). Även i: Scientific computing in Finland, K. Kankala, R. Nieminen, eds. CSC research reports R1/89, s. 5-21.
ISBN 951-649-655-5
UDK 681.3
6. Aspnäs, Mats / Institutionen för informationsbehandling
  A programming environment for a transputer-based multiprocessor system / M. Aspnäs, R. J. R. Back. - Åbo : Åbo Akademi, 1989. - 10 blad : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 82). Även som abstract i: T. Gyimothy (ed.), Symposium on programming languages and software tools.
ISBN 951-649-608-3
UDK 681.3
7. Aspnäs, Mats / Institutionen för informationsbehandling
  Transputer benchmark tests / M. Aspnäs, T-E. Malén. - Åbo : Åbo Akademi, 1989. - 8 s. : tab. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; 97).
ISBN 951-649-656-3
8. Back, Ralph-Johan / Institutionen för informationsbehandling
  Combining angels, demons and miracles in program specifications / R. J. R. Back, J. von Wright. - Åbo : Åbo Akademi, 1989. - 18 lehteä : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 86). Sarjalla myös engl. nimeke.
ISBN 951-649-626-1
UDK 681.3, 51
9. Back, Ralph-Johan / Institutionen för informationsbehandling
  Duality in specification languages : a lattice-theoretical approach / R. J. R. Back, J. von Wright. - Åbo : Åbo Akademi, 1989. - 37 blad - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 77).
ISBN 951-649-592-3
UDK 51
10. Back, Ralph-Johan / Institutionen för informationsbehandling
  Efficient implementation of multi-process handshaking on broadcasting networks / M. Aspnäs, R. J. R. Back, R. Kurki-Suonio. - Åbo : Åbo Akademi, 1989. - 20 blad : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 75).
ISBN 951-649-572-9
UDK 681.3
11. Back, Ralph-Johan / Institutionen för informationsbehandling
  The Hathi-2 multiprocessor systems / M. Aspnäs, R. J. R. Back, T.-E. Malén. - Åbo : Åbo Akademi, 1989. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A ; 80 ).
ISBN 951-649-604-0
12. Back, Ralph-Johan / Institutionen för informationsbehandling
  The Hathi project : a research project on parallel programming technology 1986-1988 (final report) / M. Aspnäs, R. J. R. Back, K. Sere. - Åbo : Åbo Akademi, 1989. - 55 blad : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 95).
ISBN 951-649-654-7
UDK 681.3
13. Back, Ralph-Johan / Institutionen för informationsbehandling
  A lattice-theorethical basis for a specification language / R. J. R. Back, J. von Wright.
- Ingår i: Mathematics of progran construction : 375th anniversary of the Groningen university international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings / J. L. A. van de Snepscheut (ed.). - Berlin : Springer, 1989, s. 139-156. - (Lecture Notes in Computer Science ; 375).
ISBN 3-540-51305-1 0-387-51305-1
14. Back, Ralph-Johan / Institutionen för informationsbehandling
  Multiprocessor applications in the Hathi project / M. Aspnäs, R. J. R. Back. - Åbo : Åbo Akademi, 1989. - 17 blad : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 96). Även i: Scientific computing in Finland, K. Kankala, R. Nieminen, eds. CSC research reports R1/89, s. 5-21.
ISBN 951-649-655-5
UDK 681.3
15. Back, Ralph-Johan / Institutionen för informationsbehandling
  A programming environment for a transputer-based multiprocessor system / M. Aspnäs, R. J. R. Back. - Åbo : Åbo Akademi, 1989. - 10 blad : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 82). Även som abstract i: T. Gyimothy (ed.), Symposium on programming languages and software tools.
ISBN 951-649-608-3
UDK 681.3
16. Back, Ralph-Johan / Institutionen för informationsbehandling
  Refinement calculus : part 1: sequential nondeterministic programs / R. J. R. Back, J. von Wright. - Åbo : Åbo Akademi, 1989. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A ; 92 ).
ISBN 951-649-651-2
17. Back, Ralph-Johan / Institutionen för informationsbehandling
  Refinement calculus : part 2: parallel and reactive programs / R. J. R. Back. - Åbo : Åbo Akademi, 1989. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A ; 93 ).
ISBN 951-649-652-0
18. Back, Ralph-Johan / Institutionen för informationsbehandling
  Refinement concepts formalized in higher order logic / R. J. R. Back, J. von Wright. - Åbo : Åbo Akademi, 1989. - 21 blad - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 85).
ISBN 951-649-623-7
UDK 681.3, 51
19. Back, Ralph-Johan / Institutionen för informationsbehandling
  Stepwise refinement of action systems / R. J. R. Back, K. Sere. - Åbo : Åbo Akademi, 1989. - 22 blad : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 78). Även i: van de Snepscheut (ed.), Mathematics of program construction. 375 anniversary of the Groningen university international conference, Groningen, The Netherlands 29-30 June 1989. Proceedings s 115-138.
ISBN 951-649-593-1
UDK 51
20. Eklund, Patrik / Institutionen för informationsbehandling
  Block placement in switching networks / P. Eklund, T.-E. Malén.
- Ingår i: CONPAR 88 / ed. C. R. Jesshope, K. D. Reinartz. - Cambridge : Cambridge U. P., 1989, s. 299-305. - (BCS Workshop Serie).
ISBN 0-521-37177-5
21. Eklund, Patrik / Institutionen för informationsbehandling
  Formalism and implementations of C-calculus / E. R. Caianciello...et al.
- Ingår i: Computational intelligence : proceedings of the International Conference, Milan, Italy, 26-30 September 1988 : vol 1 / eds. A. Martelli, G. Valle. - North-Holland : Elsevier, 1989, s. 15-26.
ISBN 0-444-87340-6
22. Eklund, Patrik / Institutionen för informationsbehandling
  Implementations of the C-calculus / E. R. Caianiello, P. E. Eklund, A. G. S. Ventre.
- Ingår i: Connection science, ISSN 0954-0091, 1 (1989) s. 41-51.

23. Eklund, Patrik / Institutionen för informationsbehandling
  Parallel C-calculus : a case study / E. R. Caianiello, P. E. Eklund, A. G. S. Ventre.
- Ingår i: Proceedings of the 6th Scandinavian Conference on Image Analysis : Oulu, June 19-22, 1989 / ed.: Matti Pietikäinen, Juha Röning. - Oulu : Pattern Recognition Society of Finland, 1989, s. 705-708.
ISBN 952-90089-0-2
UDK 51, 681.3
24. Eklund, Patrik / Institutionen för informationsbehandling
  A parallel implementation of C-calculus / E. R. Caianciello, P. E. Eklund, A. S. G. Ventre.
- Ingår i: Parallel architectures and neural networks / ed. E. R. Caianciello : World Scientific publ., 1989, s. 46-62.
ISBN 9971-50-905-9
25. Eriksson, Inger / Institutionen för informationsbehandling
  A covering structure of IS quality concepts / Inger Eriksson and Aimo Törn. - Åbo : Åbo Akademi. Institutionen för informationsbehandling & matematiska i institutet, 1989. - 12 s. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0653 ; 89). 951-649-644-X.

26. Eriksson, Inger / Institutionen för informationsbehandling
  Learning process in the context of using ISs / Inger Eriksson.
- Ingår i: System development for human progress : proceedings of the IFIP WG 8.2 working conference on information system development for human progress in organisations, Atlanta, GA 29-31 May 1987 / eds. H. K. Klein and K. Kumar. - North Holland : Elsevier, 1989, s. 268-271, 273-275.
ISBN 0-444-87311-2
27. Eriksson, Inger / Institutionen för informationsbehandling
  A method for supporting user's comprehensive learning / R. Hellman, M. Nurminen, I. Eriksson.
- Ingår i: Education and computing, ISSN 0167-9287, 4 (1989) 4, s. 251-264.

28. Eriksson, Inger / Institutionen för informationsbehandling
  A visual simulation model of information and work system / Inger Eriksson.
- Ingår i: Proceedings of the 12th IRIS, part I : information systems research seminar in Scandinavia, August 13-16, 1989, Skagen, Denmark / S. BÖdker (ed.). - Aarhus : Aarhus univ. Computer science department, 1989, s. 149-168. - (DAIMI PB, ISSN 0105-8517 ; 296-1).

29. Komorowski, Jan / Institutionen för informationsbehandling
  Synthesis of programs in the framework of partial deduction / Jan Komorowski. - Åbo : Åbo Akademi, 1989. - 20 s. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 81). Även i: Proceedings of the workshop of alternatives of logic programming, Kuopio, May 22-25, 1989, M. Penttonen, E. Kikka, (eds.). Kuopio, 1989, s. 201-221.
ISBN 951-649-605-9
UDK 681.3
30. Komorowski, Jan / Institutionen för informationsbehandling
  Towards synthesis of programs in the partial deduction framework / Jan Komorowski.
- Ingår i: IJCAI-89 : proceedings of the eleventh international joint conference on artificial intelligence, Detroit, Michigan, August 20-25, 1989. - San Mateo, Calif. : Morgan Kaufmann, 1989,
ISBN 1-55860-094-9
UDK 681.327.12:159.95:061.3
31. Sere, Kaisa / Institutionen för informationsbehandling
  Free text retrieval on transporter networks / M. Waldén and K. Sere.
- Ingår i: Microprocessors and microsystems, ISSN 0141-9331, (1989) s. 179-187.

32. Sere, Kaisa / Institutionen för informationsbehandling
  The Hathi project : a research project on parallel programming technology 1986-1988 (final report) / M. Aspnäs, R. J. R. Back, K. Sere. - Åbo : Åbo Akademi, 1989. - 55 blad : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 95).
ISBN 951-649-654-7
UDK 681.3
33. Sere, Kaisa / Institutionen för informationsbehandling
  Stepwise refinement of action systems / R. J. R. Back, K. Sere. - Åbo : Åbo Akademi, 1989. - 22 blad : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 78). Även i: van de Snepscheut (ed.), Mathematics of program construction. 375 anniversary of the Groningen university international conference, Groningen, The Netherlands 29-30 June 1989. Proceedings s 115-138.
ISBN 951-649-593-1
UDK 51
34. Shen, Hong / Institutionen för informationsbehandling
  Fast path-disjoint routing for transputer networks / H. Shen.
- Ingår i: Symposium on programming languages and software tools : proceedings of the First Finnish-Hungarian Workshop, 8-11 August, 1989, Szeged,Hungary / ed. T. Gyimothy. - Szeged : Research Group on the Theory of Automata, Hungarian Academy of Sciences, 1989, s. 157-167.

UDK 519.682:681.3.06:061.3
35. Shen, Hong / Institutionen för informationsbehandling
  Mappings parallel programs onto transputer networks / H. Shen. - Åbo : Åbo Akademi, 1989. - 8 s. : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik ; no 79). Även i: Proceedings of 1989 Australian transputer and occam user group conference, J. Hulskamp (ed.) RMIT, 1989, 85-94.
ISBN 951-649-601-6
36. Shen, Hong / Institutionen för informationsbehandling
  Occam implementation of path-disjoint routing on the Hathi-2 transputer system / H. Shen. - Åbo : Åbo Akademi, 1989. - 20 s. : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A ; 98 ).
ISBN 951-649-670-6
37. Shen, Hong / Institutionen för informationsbehandling
  Self-adjusting mapping : a heuristic mapping algorithm for mapping parallel programs onto transputer networks / H. Shen. - Åbo : Åbo Akademi, 1989. - 10 blad : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 87). Även i: J. Wexler (ed.), Developing transputer applications. Proceedings of 11th occam user group technical meeting, Edinburgh, U. K. 25-26.9.1989.
ISBN 951-649-628-8
UDK 51, 681.3
38. Sörgaard, Pål / Institutionen för informationsbehandling
  An overview of research in maintenance / Pål Sörgaard. - Åbo : Åbo Akademi, 1989. - 26 s. : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 94).
ISBN 951-649-653-9
UDK 681.3
39. Sörgaard, Pål / Institutionen för informationsbehandling
  Transaction-supporting systems and organization change / Pål Sörgaard.
- Ingår i: Office technology and people, ISSN 0167-5710, 4 (1989) 3, s. 229-243.

40. Törn, Aimo / Institutionen för informationsbehandling
  A covering structure of IS quality concepts / Inger Eriksson and Aimo Törn. - Åbo : Åbo Akademi. Institutionen för informationsbehandling & matematiska i institutet, 1989. - 12 s. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0653 ; 89). 951-649-644-X.

41. Törn, Aimo / Institutionen för informationsbehandling
  Global optimization / Aimo Törn, Antanas Zilinskas. - Berlin : Springer, 1989. - 255 s. - (Lecture notes in computer science ; 350). S. 217-252: Bibliografi.
ISBN 3-540-50871-6
UDK 519.853
42. Törn, Aimo / Institutionen för informationsbehandling
  PICA : a graphical program development tool / A. A. Törn.
- Ingår i: Symposium on programming languages and software tools : proceedings of the First Finnish-Hungarian Workshop, 8-11 August, 1989, Szeged,Hungary / ed. T. Gyimothy. - Szeged : Research Group on the Theory of Automata, Hungarian Academy of Sciences, 1989, s. 65-78.

UDK 519.682:681.3.06:061.3
43. Törn, Aimo / Institutionen för informationsbehandling
  PICA : a graphical program development tool / A. A. Törn.
- Ingår i: Software development trends : the joint Finnish-Soviet software symposium, Helsinki, Finland, 15-17 November, 1988 / ed. by Pentti Uuspää, Jorma Mononen. - Espoo : Valtion teknillinen tutkimuskeskus. Sähkö- ja automaatiotekniikan laboratorio, 1989, s. 65-68. - (VTT symposium, ISSN 0357-9387 ; 104).
ISBN 951-38-3495-6
UDK 621.3
44. Aspnäs, Mats / Institutionen för informationsbehandling
  Modeling the Hathi-2 monitoring system / M. Aspnäs, T. Kerola. - Åbo : Åbo Akademi, 1990. - 13 bl. : diagr., tab. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 110).
ISBN 951-649-754-3
UDK 681.3
45. Aspnäs, Mats / Institutionen för informationsbehandling
  A monitoring system for a transputer-based multiprocessor / M. Aspnäs, T. Långbacka. - Åbo : Åbo Akademi, 1990. - 15 bl. : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 118).
ISBN 951-649-808-6
46. Aspnäs, Mats / Institutionen för informationsbehandling
  An implementation of the ODE block algorithms for transputer systems / Yu. P. Boglaev, A. P. Karpenko, M. Aspnäs. - Åbo : Åbo Akademi, 1990. - 12 blad : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik, ISSN 0358-0563 ; no 113).
ISBN 951-649-774-8
UDK 51, 681.3
47. Aspnäs, Mats / Institutionen för informationsbehandling
  Hathi-2 multiprocessor system / M. Aspnäs, R. J. R. Back, T.-E. Malen.
- Ingår i: Microprocessors and microsystems, ISSN 0141-9331, 14 (1990) 7, s. 457-465. Tidigare publ. i: Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; 80.

48. Aspnäs, Mats / Institutionen för informationsbehandling
  A programming environment for a transputer-based multiprocessor system / M. Aspnäs, R. J. R. Back.
- Ingår i: Acta cybernetica, ISSN 0324-5547, 9 (1990) 3, s. 291-301. Tidigar publ. i: Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 82.

49. Back, Ralph-Johan / Institutionen för informationsbehandling
  Deriving an occam implementation of action systems / R. J. R. Back, K. Sere. - Åbo : Åbo Akademi, 1990. - 24 blad : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 99). Även i: Proceedings of Third Refinement Workshop. BC FACS/IBM UK/Oxford university PRG 1990.
ISBN 951-649-685-7
UDK 51
50. Back, Ralph-Johan / Institutionen för informationsbehandling
  Stepwise refinement of parallel algorithms / R. J. R. Back, K. Sere.
- Ingår i: Science of computer programming, ISSN 0167-6423, 13 (1990) 2-3, s. 133-188. Tidigare publ. i: Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 64.

[Följande]